Lean 型クラス